Skip to content

ci: gate PRs on 100% patch coverage + 95% project floor#13

Merged
mastermanas805 merged 1 commit into
masterfrom
ci/patch-coverage-100-gate
May 22, 2026
Merged

ci: gate PRs on 100% patch coverage + 95% project floor#13
mastermanas805 merged 1 commit into
masterfrom
ci/patch-coverage-100-gate

Conversation

@mastermanas805
Copy link
Copy Markdown
Member

Summary

  • Adds diff-cover patch-coverage enforcement: every changed line in a PR diff must be covered by a test (--fail-under=100).
  • Enforces a project floor of >=95% total coverage via go tool cover.
  • Go native coverage is converted to Cobertura with gocover-cobertura so diff-cover can read it.
  • fetch-depth: 0 so diff-cover resolves origin/<base_ref>; gated to pull_request events (push has no base_ref).
  • Sibling ../common / ../proto checkout steps preserved — only steps ADDED.

Notes

  • Workflow YAML never appears in the Go coverage report, so diff-cover auto-ignores .github/**; this PR will not fail itself.

New permanent org mandate.

🤖 Generated with Claude Code

Adds diff-cover patch-coverage enforcement to the coverage workflow: every
changed line in a PR must be covered by a test (--fail-under=100), and total
project coverage must stay >=95%. Go coverage is converted to Cobertura via
gocover-cobertura so diff-cover can read it. fetch-depth: 0 lets diff-cover
resolve origin/<base_ref>; gated to pull_request events. New org mandate.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@mastermanas805 mastermanas805 merged commit f4af213 into master May 22, 2026
9 checks passed
@mastermanas805 mastermanas805 deleted the ci/patch-coverage-100-gate branch May 22, 2026 02:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants